trigonometric inequlity